Definition

Given ANA \subset \mathbb{R}^N, the closed set YKY \subset \mathbb{R}^K, the correspondence f:AYf: A \to Y has a closed graph if for any 2 sequence xmxAx^m \to x \in A and ymyy^m \to y with xmAx^m \in A and ymf(xm)y^m \in f(x^m) for every mm, we have yf(x)y \in f(x).

Notes